supremum vs. maximum